P. Wadler: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Monads and composable continuations

Journal:

Higher-Order and Symbolic Computation

Year:

1994

Language:

english

File:

PDF, 812 KB

english, 1994

2

How to declare an imperative

Journal:

ACM Computing Surveys

Year:

1997

Language:

english

File:

PDF, 332 KB

english, 1997

3

Programming language foundations in Agda

Kokke, Wen, Siek, Jeremy G., Wadler, Philip

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 2.49 MB

2020

4

[ACM Press the third ACM SIGPLAN conference - San Diego, California (2007.06.09-2007.06.10)] Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III - A history of Haskell

Hudak, Paul, Hughes, John, Jones, Simon Peyton, Wadler, Philip

Year:

2007

Language:

english

File:

PDF, 1.10 MB

english, 2007

5

Propositions as sessions

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 377 KB

english, 2014

6

[ACM Press the fourth international conference - Imperial College, London, United Kingdom (1989.09.11-1989.09.13)] Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 - Theorems for free!

Year:

1989

Language:

english

File:

PDF, 1.18 MB

english, 1989

7

Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous

Sam Lindley, Philip Wadler, Jeremy Yallop

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 259 KB

english, 2011

8

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Functional Programs as Executable Specifications [and Discussion]

D. A. Turner, J. Fairbairn, D. Park, P. Wadler, B. A. Wichmann and M. H. Rogers

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 3.23 MB

english, 1984

9

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 2562 ||

Dahl, Veronica, Wadler, Philip

Year:

2003

Language:

english

File:

PDF, 4.16 MB

english, 2003

10

2. Die politischen Verbrecher in Rußland.

Journal:

Zeitschrift für die gesamte Strafrechtswissenschaft

Year:

1909

Language:

english

File:

PDF, 6.70 MB

english, 1909

11

35. Erkenntnistheorie und Kriminalstatistik.

Journal:

Zeitschrift für die gesamte Strafrechtswissenschaft

Year:

1911

Language:

english

File:

PDF, 6.61 MB

english, 1911

12

The marriage of effects and monads

Wadler, Philip, Thiemann, Peter

Journal:

ACM Transactions on Computational Logic

Year:

2003

Language:

english

File:

PDF, 423 KB

english, 2003

13

Theorems for free for free: parametricity, with and without types

Ahmed, Amal, Jamner, Dustin, Siek, Jeremy G., Wadler, Philip

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 402 KB

english, 2017

14

Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus

John Maraist, Martin Odersky, David N. Turner, Philip Wadler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1011 KB

english, 1995

15

Deforestation: transforming programs to eliminate trees

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 2.06 MB

english, 1990

16

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - The essence of functional programming

Year:

1992

Language:

english

File:

PDF, 1.10 MB

english, 1992

17

A simple language is also a functional language

Journal:

Software: Practice and Experience

Year:

1985

Language:

english

File:

PDF, 90 KB

english, 1985

18

Fixing some space leaks with a garbage collector

Journal:

Software: Practice and Experience

Year:

1987

Language:

english

File:

PDF, 729 KB

english, 1987

19

[ACM Press the 1984 ACM Symposium - Austin, Texas, United States (1984.08.06-1984.08.08)] Proceedings of the 1984 ACM Symposium on LISP and functional programming - LFP '84 - Listlessness is better than laziness

Year:

1984

Language:

english

File:

PDF, 527 KB

english, 1984

20

Biologic agents as biochemical modulators: pharmacologic basis for the interaction of cytotoxic chemotherapeutic drugs and interferon

Scott Wadler, Edward L. Schwartz

Journal:

Cancer Chemotherapy and Pharmacology

Year:

1994

Language:

english

File:

PDF, 1.17 MB

english, 1994

21

The Status of Doping and Drug Use and the Implications for Boxing

Wadler, Gary I.

Journal:

Clinics in Sports Medicine

Year:

2009

Language:

english

File:

PDF, 106 KB

english, 2009

22

Randomized Phase II Trial of Cetuximab, Bevacizumab, and Irinotecan Compared With Cetuximab and Bevacizumab Alone in Irinotecan-Refractory Colorectal Cancer: The BOND-2 Study

Saltz, L. B., Lenz, H.-J., Kindler, H. L., Hochster, H. S., Wadler, S., Hoff, P. M., Kemeny, N. E., Hollywood, E. M., Gonen, M., Quinones, M., Morse, M., Chen, H. X.

Journal:

Journal of Clinical Oncology

Year:

2007

Language:

english

File:

PDF, 111 KB

english, 2007

23

Sexual-Orientation Disparities in Cigarette Smoking in a Longitudinal Cohort Study of Adolescents

Corliss, H. L., Wadler, B. M., Jun, H.-J., Rosario, M., Wypij, D., Frazier, A. L., Austin, S. B.

Journal:

Nicotine & Tobacco Research

Year:

2013

Language:

english

File:

PDF, 872 KB

english, 2013

24

43. Schlußwort zum „Fall Wassermann“.

Journal:

Zeitschrift für die gesamte Strafrechtswissenschaft

Year:

1911

File:

PDF, 881 KB

1911

25

Comprehending monads

Journal:

Mathematical Structures in Computer Science

Year:

1992

Language:

english

File:

PDF, 4.24 MB

english, 1992

26

The arrow calculus

LINDLEY, SAM, WADLER, PHILIP, YALLOP, JEREMY

Journal:

Journal of Functional Programming

Year:

2010

Language:

english

File:

PDF, 404 KB

english, 2010

27

Monadic constraint programming

SCHRIJVERS, TOM, STUCKEY, PETER, WADLER, PHILIP

Journal:

Journal of Functional Programming

Year:

2009

Language:

english

File:

PDF, 575 KB

english, 2009

28

Front-Loaded Versus Weekly Counseling for Treatment of Tobacco Addiction

Garvey, A. J., Kalman, D., Hoskinson, R. A., Kinnunen, T., Wadler, B. M., Thomson, C. C., Rosner, B.

Journal:

Nicotine & Tobacco Research

Year:

2012

Language:

english

File:

PDF, 322 KB

english, 2012

29

2. Die Statistik in Deutschland nach ihrem heutigen Stand. Georg von Mahr zur Feier seines 70. Geburtstages am 12. Februar 1911 als Ehrengabe dargebracht, München 1911.

Journal:

Zeitschrift für die gesamte Strafrechtswissenschaft

Year:

1913

Language:

english

File:

PDF, 3.36 MB

english, 1913

30

A formal semantics of patterns in XSLT and XPath

Journal:

Markup Languages Theory and Practice

Year:

2000

Language:

english

File:

PDF, 442 KB

english, 2000

31

An angry half-dozen

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 683 KB

english, 1998

32

Call-by-value is dual to call-by-name

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 196 KB

english, 2003

33

Featherweight Java: a minimal core calculus for Java and GJ

Igarashi, Atsushi, Pierce, Benjamin C., Wadler, Philip

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2001

Language:

english

File:

PDF, 629 KB

english, 2001

34

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Pizza into Java

Odersky, Martin, Wadler, Philip

Year:

1997

File:

PDF, 1.09 MB

1997

35

Type classes in Haskell

C. V. Hall, K. Hammond, S. L. Peyton Jones, P. L. Wadler

Year:

1996

Language:

english

File:

PDF, 300 KB

english, 1996

36

[ACM Press the 14th ACM SIGPLAN conference - Denver, Colorado, United States (1999.11.01-1999.11.05)] Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '99 - Featherwieght Java

Igarashi, Atshushi, Pierce, Benjamin, Wadler, Philip

Year:

1999

Language:

english

File:

PDF, 1.47 MB

english, 1999

37

Type systems for object-oriented programming

Journal:

Journal of Functional Programming

Year:

1994

Language:

english

File:

PDF, 61 KB

english, 1994

38

The call-by-need lambda calculus

MARAIST, JOHN, ODERSKY, MARTIN, WADLER, PHILIP

Journal:

Journal of Functional Programming

Year:

1998

Language:

english

File:

PDF, 431 KB

english, 1998

39

Phase I and II Agents in Cancer Therapy: I. Anthracyclines and Related Compounds

Wadler, Scott, Fuks, Joachim Z., Wiernik, Peter H.

Journal:

Journal of Clinical Pharmacology

Year:

1986

Language:

english

File:

PDF, 3.43 MB

english, 1986

40

Leibniz equality is isomorphic to Martin-LÃ¶f identity, parametrically

ABEL, ANDREAS, COCKX, JESPER, DEVRIESE, DOMINIQUE, TIMANY, AMIN, WADLER, PHILIP

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 195 KB

2020

41

Maximizing the Independence of Deaf-Blind Teenagers

Venn, J.J., Wadler, F.

Journal:

Journal of Visual Impairment & Blindness

Year:

1990

File:

PDF, 1.07 MB

1990

42

Randomized trial of initial therapy with melphalan versus cisplatin-based combination chemotherapy in patients with advanced ovarian carcinoma: Initial and long term results—Eastern Cooperative Oncology Group study E2878

Scott Wadler, Beow Yeap, Steven Vogl, Paul Carbone

Journal:

Year:

1996

Language:

english

File:

PDF, 781 KB

english, 1996

43

Phase II clinical trial with 5-fluorouracil, recombinant interferon-α-2b, and cisplatin for patients with metastatic or regionally advanced carcinoma of the esophagus

Scott Wadler, Hilda Haynes, Jonathan J. Beitler, Xiaoping Hu, Stanley Fell, Margarita Camacho, Barry Levine, Peter H. Wiernik

Journal:

Year:

1996

Language:

english

File:

PDF, 393 KB

english, 1996

44

All-trans retinoic acid and interferon-α-2a in patients with metastatic or recurrent carcinoma of the uterine cervix : Clinical and pharmacokinetic studies

Scott Wadler, Edward L. Schwartz, Hilda Haynes, Ronalde Rameau, Astrid Quish, John Mandeli, Robert Gallagher, Steven Hallam, Abbie Fields, Gary Goldberg, Frances McGill, Scott Jennings, Robert C. Wall

Journal:

Year:

1997

Language:

english

File:

PDF, 89 KB

english, 1997

45

Cardiac abnormalities in patients with diffuse malignant pleural mesothelioma

Scott Wadler, Dr. Philippe Chahinian, William Slater, Martin Goldman, David Mendelson, James F. Holland

Journal:

Year:

1986

Language:

english

File:

PDF, 680 KB

english, 1986

46

High-dose local irradiation plus prophylactic hepatic irradiation and chemotherapy for inoperable adenocarcinoma of the pancreas. A preliminary report of a multi-institutional trial (radiation therapy oncology group protocol 8801)

R. Komaki, S. Wadler, T. Peters, R. W. Byhardt, S. Order, M. J. Gallagher, A. Herskovic, J. Pederson

Journal:

Year:

1992

Language:

english

File:

PDF, 567 KB

english, 1992

47

Treatment of carcinoma of the esophagus with 5-fluorouracil and recombinant alfa-2a-interferon

Scott Wadler, Stanley Fell, Hilda Haynes, Henry J. Katz, Alla Rozenblit, Ronald Kaleya, Peter H. Wiernik

Journal:

Year:

1993

Language:

english

File:

PDF, 445 KB

english, 1993

48

New barriers to ventricular invasion in paraglottic laryngeal cancer

Jonathan J. Beitler, Panna S. Mahadevia, Carl E. Silver, Scott Wadler, John S. Rubin, Jacqueline A. Bello, Robin J. Mitnick, Bhadrasain Vikram

Journal:

Year:

1994

Language:

english

File:

PDF, 511 KB

english, 1994

49

Utility of embolization or chemoembolization as second-line treatment in patients with advanced or recurrent colorectal carcinoma

Donald J. Martinelli, Scott Wadler, Curtis W. Bakal, Jacob Cynamon, Alla Rozenblit, Hilda Haynes, Ronald Kaleya, Peter H. Wiernik

Journal:

Year:

1994

Language:

english

File:

PDF, 854 KB

english, 1994

50

Utility of embolization or chemoembolization as second-line treatment in patients with advanced or recurrent colorectal carcinoma

Camillo Porta, Mauro Moroni, Giuseppe Nastasi, Enrico Bobbio-Pallavicini, Giancarlo Barazzoni, Scott Wadler, Curtis W. Bakal, Jacob Cynamon, Peter H. Wiernik

Journal:

Year:

1995

Language:

english

File:

PDF, 344 KB

english, 1995